package sketch.ounit.fuzz;

import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

public class SketchGuidedRandomGeneratorTest extends TestCase {
	
	public static Test suite() {
		return new TestSuite(SketchGuidedRandomGeneratorTest.class);
	}
	
	public void testSimplest() {
		String filePath = "./testfiles/sketch/ounit/fuzz/GuidedTreeMapTest.java";
		String junitclass = "GuidedTreeMapTest";
		int timelimit = 2;
		SketchGuidedRandomTestGenerator generator = new SketchGuidedRandomTestGenerator(filePath, junitclass, timelimit, timelimit);
		generator.generate_tests();
	}
	
	public void testSimplestMulti() {
		String filePath = "./testfiles/sketch/ounit/fuzz/GuidedTreeMapTestMulti.java";
		String junitclass = "GuidedTreeMapTestMulti";
		int timelimit = 1;
		SketchGuidedRandomTestGenerator generator = new SketchGuidedRandomTestGenerator(filePath, junitclass, timelimit, timelimit);
		generator.generate_tests();
	}
}